
#ifndef __RTTHREAD_SCHEDULER_H__
#define __RTTHREAD_SCHEDULER_H__


#include "rt_def.h"
#include "rt_config.h"
#include "rt_thread.h"

void rt_schedule(void);
void rt_thread_idle_init(void);
void rt_system_scheduler_init(void);
void rt_system_scheduler_start(void);
void rt_thread_delay(rt_tick_t tick);
void rt_interrupt_enter(void) ;
void rt_tick_increase(void);
void rt_interrupt_leave(void);
rt_thread_t rt_thread_self(void);
void rt_schedule_insert_thread(struct rt_thread *thread);
void rt_schedule_remove_thread(struct rt_thread *thread);
#endif  /*__RTTHREAD_SCHEDULER_H__*/